En mathématiques, l'extension HNN est une construction de base de la théorie combinatoire des groupes, nommée d'après les initiales de ses trois auteurs : Graham Higman, Bernhard Neumann et Hanna Neumann[1]. Elle plonge de façon universelle un groupe, muni d'un isomorphisme entre deux de ses sous-groupes, dans un autre groupe dans lequel cet isomorphisme devient intérieur.
- (en) Graham Higman, B. H. Neumann et Hanna Neumann, « Embedding Theorems for Groups », J. London Math. Soc., vol. s1-24, no 4, , p. 247–254 (DOI 10.1112/jlms/s1-24.4.247)